#include "stdio.h"
#include "../libkybios.h"
int main()
{
    printf("vendor: %s",kdk_bios_get_vendor());
    printf("version: %s",kdk_bios_get_version());
    return 0;
}